perm filename FAN[NOT,DBL]2 blob
sn#166110 filedate 1975-07-02 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00003 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .DEVICE XGP
C00005 00003 .LTR(Dr. Adrian Walker)
C00007 ENDMK
C⊗;
.DEVICE XGP
.page frame 50 high 80 wide
.title area heading lines 1 to 3
.area text lines 4 to 50
.FONT 1 "BASL30"; FONT 2 "BASI30"; FONT 3 "BASB30"; FONT 5 "NGB25"
.FONT 6 "STA200.FNT[XGP,SYS]"
.TURN ON "%{α"
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.AT "ffi" ⊂ IF THISFONT ≤ 3 THEN "≠" ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 3 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff" ⊂ IF THISFONT ≤ 3 THEN "≥" ELSE "fαf" ⊃;
.AT "fi" ⊂ IF THISFONT ≤ 3 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl" ⊂ IF THISFONT ≤ 3 THEN "∨" ELSE "fαl" ⊃;
.MACRO FAC ⊂FILL ADJUST COMPACT ⊃
.MACRO FAD ⊂FILL ADJUST COMPACT DOUBLE SPACE; PREFACE 2 ⊃
.MACRO LTR(name,dat) ⊂
.place HEADING
.nofill
.BEGIN
.TURN ON "-←→∂↑↓&[]";
%6S%5 Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
.end
.PLACE TEXT;
.SELECT 5; if length ("dat") > 2 then date←"dat";
.once turn on "→"
%5Telephone 415-497-1391→{date}
or 415-497-4971
.SKIP 3; SELECT 1
name
.EVERY HEADING("%3NAME, {date}",,Page {Page})
.⊃
.MACRO AIADDRESS ⊂GROUP BEGIN SKIP 1; NOFILL
Douglas B. Lenat
Artificial Intelligence Laboratory
Stanford University
Stanford, California 94305
.END APART ⊃
.MACRO DBL ⊂ GROUP BEGIN SKIP 3; NOFILL CENTER
Sincerely,
.SKIP 6
Douglas B. Lenat
.END APART ⊃
.portion main
.page←1
.LTR(Dr. Adrian Walker)
Department of Computer Science
Rutgers University
New Brunswick, N. J. 08903
.FAD
Dear Dr. Walker,
Thank you for your request for a copy of my recent paper,
%2Synthesis of Large Programs from
Specific Dialogues%*. In addition to this SPIP paper, I am enclosing
a copy of a related paper which is to be presented at
the World Congress on Cybernetics and Systems (Bucharest, August, 1975).
The second half of that paper describes the project I am now working on
for my dissertation (the Automated Mathematician system).
If that summary catches your interest, a more lengthy
copy of my dissertation proposal is available.
I shall read yet another paper on the PUP6 synthesis system
at the coming IJCAI (Tbilisi, September), but its brevity
seriously hinders the amount of new content.
If you wish a copy anyway, please write me.
Let me personally invite you,
if you happen to be near Stanford this coming year,
to come to the Aritificial Intelligence Lab -- for a seminar,
discussion, or just a tour.
.DBL